Information and Computation - PDFSEARCH.IO - Document Search Engine

Information and Computation
Results: 338

#	Item
211	Department of Nuclear Science and Engineering Massachusetts Institute of Technology SPOTLIGHT ON WOMEN IN NUCLEAR SCIENCE AND ENGINEERING Paola Cappellaro: A Quantum Engineer Add to Reading List Source URL: web.mit.edu Language: English - Date: 2012-04-10 15:13:42 Quantum information science Models of computation Quantum measurement Spintronics Quantum computer Qubit Introduction to quantum mechanics Quantum state Spin Physics Theoretical computer science Quantum mechanics
212	S ection 14 B ibliography S ection 14 B ibliography Mark Torrence/SGT, Inc. Add to Reading List Source URL: ilrs.gsfc.nasa.gov Language: English - Date: 2013-01-31 13:15:04 Workshop on Logic Language Information and Computation Peridynamics
213	Fast, Accurate, and Brilliant: Realizing the Potential of Crowdsourcing and Human Computation Kurt Luther School of Interactive Computing & GVU Center Georgia Institute of Technology Atlanta, GA, USA Add to Reading List Source URL: kurtluther.com Language: English - Date: 2011-03-28 15:40:50 Humanâ€“computer interaction Crowdsourcing Outsourcing Social information processing Social psychology Human communication Computer-supported cooperative work Luis von Ahn Citizen science Human-based computation Collective intelligence Collaboration
214	Information Theory, Evolutionary Computation, and Dembski’s “Complex Specified Information” Wesley Elsberry Department of Wildlife & Fisheries Sciences Texas A&M University 2258 TAMU Add to Reading List Source URL: talkreason.org Language: English - Date: 2003-11-17 20:10:49 Creationist objections to evolution Arguments for the existence of God Specified complexity William A. Dembski The Design Inference Causality Intelligent design and science Teleological argument Creationism Intelligent design Pseudoscience
215	Stream Reasoning in DyKnow: A Knowledge Processing Middleware System? Fredrik Heintz, Jonas Kvarnstr¨om, and Patrick Doherty {frehe, jonkv, patdo}@ida.liu.se Dept. of Computer and Information Science Link¨oping Univers Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 05:58:43 Inter-process communication Software engineering Computer programming Computer data Stream Flow-based programming Computing Programming paradigms Models of computation
216	Stream-Based Reasoning in DyKnow? Fredrik Heintz, Jonas Kvarnstr¨om, and Patrick Doherty {frehe, jonkv, patdo}@ida.liu.se Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:31:51 Inter-process communication Software engineering Computer programming Computer data Stream Computing Programming paradigms Models of computation
217	Formalizing Information Flow Control in a Model-Driven Approach? Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif Institute for Software & Systems Engineering, Augsburg University, Germany Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:13:15 Models of computation Software engineering Data modeling Theoretical computer science Systems engineering Model-driven architecture Finite-state machine UML state machine UMLsec Unified Modeling Language Automata theory Digital electronics
218	Time and Information in Sequential and Concurrent Computation Vaughan Pratt∗ Stanford University January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:29 Mathematics Semigroup theory Concurrency Modal logic Non-classical logic Philosophical logic Monoid Parallel computing Chu space Abstract algebra Category theory Logic
219	Privacy-Preserving Methods for Sharing Financial Risk Exposures∗ Emmanuel A. Abbe,1,2 Amir E. Khandani,3 Andrew W. Lo2,3,4∗ 1 EPFL School of Communication and Computer Sciences Add to Reading List Source URL: secure.brightworkinc.net Language: English - Date: 2011-12-14 10:13:24 Secure multi-party computation Internet privacy Information privacy Oblivious transfer Cryptographic protocols Ethics Privacy
220	Human-powered Sorts and Joins Adam Marcus Eugene Wu David Karger Samuel Madden Robert Miller {marcua,sirrice,karger,madden,rcm}@csail.mit.edu ABSTRACT Add to Reading List Source URL: db.csail.mit.edu Language: English - Date: 2011-07-27 14:52:50 Amazon Mechanical Turk Crowdsourcing Human-based computation Social information processing Web 2.0 Electronics Join Query optimizer Filter Database management systems Data management Computing

UPDATE